Skip to content

Conversation

@lenemter
Copy link
Member

Fixes #898

@lenemter lenemter requested review from a team March 15, 2025 10:58
Copy link
Member

@leolost2605 leolost2605 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@lenemter lenemter added this to OS 9 Mar 16, 2025
@lenemter lenemter moved this to Needs Review in OS 9 Mar 16, 2025
@wpkelso wpkelso merged commit 5acb014 into main Mar 19, 2025
5 checks passed
@wpkelso wpkelso deleted the lenemter/fix-898 branch March 19, 2025 17:08
@github-project-automation github-project-automation bot moved this from Needs Review to Done in OS 9 Mar 19, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

Super+Number. When workspace doesn't exist, switch to last workspace instead.

4 participants